package projeto;

public class VerticeDijkstra {

	private /*@ spec_public @*/double d;
	//@ public invariant d >= 0;

	private /*@ spec_public nullable @*/Vertice rot;

	public VerticeDijkstra() {
		this.d = Double.MAX_VALUE;
		this.rot = null;
	}

	//@ assignable d;
	public void setD(double _d) {
		this.d = _d;
	}

	//@ assignable rot;
	public void setRot(Vertice _rot) {
		this.rot = _rot;
	}

	public /*@ pure @*/double getD() {
		return this.d;
	}

	public /*@ pure @*/ Vertice getRot() {
		return rot;
	}

}
